الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
978-1-4020-8297-9
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...

اقرأ المزيد
978-3-540-32007-4
ZB 2005: Formal Specification and Development in Z and B

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2